In this paper, we present an intelligent tutoring system developed to help students in learning Computer Theory. The Intelligent tutoring system was built using ITSB authoring tool. The system helps students to learn finite automata, pushdown automata, Turing machines and examines the relationship between these automata and formal languages, deterministic and nondeterministic machines, regular expressions, context free grammars, undecidability, and complexity. During the process the intelligent tutoring system gives assistance and feedback of many types in an intelligent manner according to (...) the behavior of the student. An evaluation of the intelligent tutoring system has revealed reasonably acceptable results in terms of its usability and learning abilities are concerned. (shrink)

Some philosophers oppose recent arguments for the Knowledge Norm of Assertion by claiming that assertion, being an act much like any other, will be subject to norms governing acts generally, such as those articulated by Grice for the purpose of successful, cooperative endeavours. But in fact, Grice is a traitor to their cause; or rather, they are his dissenters, not his disciples. Drawing on Grice's unpublished papers, I show that he thought of asserting as a special linguistic act in need (...) of its own norm, and he tied his maxim of Quality to knowledge. I also develop a simple Gricean-inspired argument showing that the Quality maxim is not dependent on the Cooperative Principle. If it is not thus dependent, then the Cooperative Principle cannot be the explanation of, or source of normativity for, the Quality maxim. Thus, leveraging the insights informing the maxim of Quality actually provides the resources for a distinctive positive case that knowledge is the constitutive norm of assertion. (shrink)

Introduction to externalism in the philosophy of mind and cognitive science.

The problem of evil is the most prominent argument against the existence of God. Skeptical theists contend that it is not a good argument. Their reasons for this contention vary widely, involving such notions as CORNEA, epistemic appearances, 'gratuitous' evils, 'levering' evidence, and the representativeness of goods. We aim to dispel some confusions about these notions, in particular by clarifying their roles within a probabilistic epistemology. In addition, we develop new responses to the problem of evil from both the phenomenal (...) conception of evidence and the knowledge-first view of evidence. (shrink)

Abstract Heart Attack is the Cardiovascular Disease (CVD) which causes the most deaths among CVDs. We collected a dataset from Kaggle website. In this paper, we propose an ANN model for the predicting whether a patient has a heart attack or not that. The dataset set consists of 9 features with 1000 samples. We split the dataset into training, validation, and testing. After training and validating the proposed model, we tested it with testing dataset. The proposed model reached an accuracy (...) of 98.01% on the Heart Disease Dataset. (shrink)

Recent empirical work appears to suggest that the moral intuitions of professional philosophers are just as vulnerable to distorting psychological factors as are those of ordinary people. This paper assesses these recent tests of the ‘expertise defense’ of philosophical intuition. I argue that the use of familiar cases and principles constitutes a methodological problem. Since these items are familiar to philosophers, but not ordinary people, the two subject groups do not confront identical cognitive tasks. Reflection on this point shows that (...) these findings do not threaten philosophical expertise—though we can draw lessons for more effective empirical tests. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

The areas of philosophy that contribute to the cognitive sciences are various, including the philosophy of mind, language, and science. This introduction to the 80 or so philosophy articles in MITECS provides an overview of that contribution.

My contribution to this Symposium focuses on the links between sexuality and reproduction from the evolutionary point of view.' The relation between women's sexuality and reproduction is particularly importantb ecause of a vital intersectionb etweenp olitics and biology feminists have noticed, for more than a century, that women's identity is often defined in terms of her reproductive capacity. More recently, in the second wave of the feminist movement in the United States, debates about women'si dentityh ave explicitlyi ncludeds exuality;m uch (...) feminist argument in the late 1960's and early 1970's involved an attempt to separate out an autonomous female sexuality from women's reproductive functions. It is especially relevant, then, to examine biological arguments, particularlye volutionarya rgumentst, o see what they say about whether and how women's sexuality is related to reproduction. We shall find that many evolutionarya rgumentss eem to supportt he direct linkingo f female sexualitya nd reproductionY. et I will argue that this supporti s not well-groundedI. n fact, I think evolutionarye xplanationso f female sexuality exemplify how social beliefs and social agendas can influence very basic biological explanations of fundamental physiological processes. In this paper, I shall spend some time spelling out a few examples in which assumptions about the close link between reproduction and sexuality yield misleading results, then I shall conclude with a discussion of the consequences of this case study for issues in the philosophy of science. (shrink)

The adequacy of similarity to prototype as an account of categorization in natural concepts was assessed by analyzing the monotonicity of the relation between typicality of an item in a category and the probability of a positive categorization response using data from McCloskey and Glucksberg (1978). The analysis revealed a strong underlying similarity-based threshold curve, with systematic deviations. Further data collection showed that deviations from the curve could be attributed to the effects of unfamiliarity and non-categorial associations on typicality judgments, (...) as well as differences between the perceptual appearance of an item (which tended to boost typicality) and its underlying nature (which tended to boost categorization). The results are discussed in terms of the different presuppositions and task constraints involved in rating typicality as opposed to performing a categorization. (shrink)

In men and women sexual arousal culminates in orgasm, with female orgasm solely from sexual intercourse often regarded as a unique feature of human sexuality. However, orgasm from sexual intercourse occurs more reliably in men than in women, likely reflecting the different types of physical stimulation men and women require for orgasm. In men, orgasms are under strong selective pressure as orgasms are coupled with ejaculation and thus contribute to male reproductive success. By contrast, women's orgasms in intercourse are highly (...) variable and are under little selective pressure as they are not a reproductive necessity. The proximal mechanisms producing variability in women's orgasms are little understood. In 1924 Marie Bonaparte proposed that a shorter distance between a woman's clitoris and her urethral meatus (CUMD) increased her likelihood of experiencing orgasm in intercourse. She based this on her published data that were never statistically analyzed. In 1940 Landis and colleagues published similar data suggesting the same relationship, but these data too were never fully analyzed. We analyzed raw data from these two studies and found that both demonstrate a strong inverse relationship between CUMD and orgasm during intercourse. Unresolved is whether this increased likelihood of orgasm with shorter CUMD reflects increased penile–clitoral contact during sexual intercourse or increased penile stimulation of internal aspects of the clitoris. CUMD likely reflects prenatal androgen exposure, with higher androgen levels producing larger distances. Thus these results suggest that women exposed to lower levels of prenatal androgens are more likely to experience orgasm during sexual intercourse. . (shrink)

The ways in which we exercise intentional agency are varied. I take the domain of intentional agency to include all that we intentionally do versus what merely happens to us. So the scope of our intentional agency is not limited to intentional action. One can also exercise some intentional agency in omitting to act and, importantly, in producing the intentional outcome of an intentional action. So, for instance, when an agent is dieting, there is an exercise of agency both with (...) respect to the agent’s actions and omissions that constitute her dieting behavior and in achieving the intended outcome of losing weight. In our mental lives we exercise intentional agency both in performing mental actions and when we intentionally produce certain outcomes at which our mental actions are aimed. The nature and scope of our intentional agency in our mental lives with respect to controlling the acquisition of mental states such as belief, desire, and intention is a topic that is of interest in its own right. In this essay, I will focus solely on our control over coming to believe. Understanding what sort of control we have our beliefs has far-reaching implications. For instance, theorizing about self-deception and wishful thinking is aided by theorizing about what if any intentional agency we can exercise with respect to acquiring beliefs. Another often mentioned concern that motivates thinking about doxastic agency comes from religion (when conversion requires a change of belief). We also hold persons morally and epistemically responsible for beliefs they have or fail to have. Finally, some deontological theories of epistemic justification require that agents be able to exercise a robust form of doxastic control. Fruitful work on any of these problems requires that we have an account of our intentional agency in acquiring beliefs. There are at least three loci of doxastic control. The first is over acquiring beliefs. The second is over maintaining beliefs. The third is over how we use our beliefs. I am chiefly concerned with the first locus of doxastic control in this essay, but I will say something about the second locus along the way. Also, I will only consider one way we might exercise control over acquiring beliefs. Specifically, I will present an argument against direct doxastic voluntarism (DDV). By “DDV” I mean to refer to the thesis that it is conceptually possible for agents to consciously exercise the same sort of direct voluntary control over coming to acquire a doxastic attitude—such as belief, suspension of belief, and disbelief—that they exercise over uncontroversial basic actions. If DDV is correct, then coming to believe can be a basic action-type. DDV, or something very close to it, was Bernard Williams’ target in his 1973 paper, “Deciding to Believe.” Williams’s argument is widely regarded as having been a failure. But I think that Williams was on to something in his paper. Hence, in this paper, while I do not attempt to resurrect Williams’s argument, I develop and defend a revised argument for a thesis that is quite close to Williams’s. I will proceed as follows. First, I will discuss Bernard Williams’ (1973) failed attempt at showing that DDV is conceptually impossible. This will be followed by a discussion of some constraints on our belief-forming activities. I will then clarify my target a bit more than Williams does in his original paper. Finally, I will present my own argument against the conceptual possibility of DDV. (shrink)

Human vision briefly retains a trace of a stimulus after it disappears. This trace—iconic memory—is often believed to be a surrogate for the original stimulus, a representational structure that can be used as if the original stimulus were still present. To investigate its nature, a flicker-search paradigm was developed that relied upon a full scan (rather than partial report) of its contents. Results show that for visual search it can indeed act as a surrogate, with little cost for alternating between (...) visible and iconic representations. However, the duration over which it can be used depends on the type of task: some tasks can use iconic memory for at least 240 ms, others for only about 190 ms, while others for no more than about 120 ms. The existence of these different limits suggests that iconic memory may have multiple layers, each corresponding to a particular level of the visual hierarchy. In this view, the inability to use a layer of iconic memory may reflect an inability to maintain feedback connections to the corresponding representation. (shrink)

Closure is the epistemological thesis that if S knows that P and knows that P implies Q, then if S infers that Q, S knows that Q. Fred Dretske acknowledges that closure is plausible but contends that it should be rejected because it conflicts with the plausible thesis: Conclusive reasons (CR): S knows that P only if S believes P on the basis of conclusive reasons, i.e., reasons S wouldn‘t have if it weren‘t the case that P. Dretske develops an (...) analysis of knowing that centers on CR, and argues that the requirement undermines skepticism by implying the falsity of closure. We develop a Dretske-style analysis of knowing that incorporates CR, and we argue that this analysis not only accords with closure, but also implies it. In addition, we argue that the analysis accounts for the prima facie plausibility of closure-invoking skeptical arguments, and nonetheless implies that they are fallacious. If our arguments turn out to be sound, the acceptability of Dretske‘s analysis of knowing will be significantly enhanced by the fact that, despite implying closure, it undermines closure-based skepticism. (shrink)

This study thoroughly investigates the financial behaviors of financially independent, young, single professionals aged 24 to 35 in Balayan, Batangas, amidst a period of global inflation. Focusing on five industries—education, finance, government, healthcare, and retail—the research employs a mixed-methods approach. Quantitative analysis, involving 75 respondents through a 4-point Likert scale survey, is complemented by qualitative insights from in-depth interviews with 5 participants from each industry. The findings from numerical values revealed that demographics did not impact working professionals' saving habits and (...) buying behaviors during the global inflation surge. This suggests that despite differences in age, gender, industry, employment status, and monthly income or salary, all professionals prioritized robust, strong savings and reduced spending to ensure financial stability. The research underscores the significance for professionals in various industries to prioritize specific aspects of personal financial management during the prevailing global inflation surge. The study suggests that, irrespective of industry, working professionals should prioritize specific aspects of personal financial management during the global inflation surge. (shrink)

Research on the use of propranolol as a pharmacological memory dampening treatment for post-traumatic stress disorder is continuing and justifies a second look at the legal and ethical issues raised in the past. We summarize the general ethical and legal issues raised in the literature so far, and we select two for in-depth reconsideration. We address the concern that a traumatized witness may be less effective in a prosecution emerging from the traumatic event after memory dampening treatment. We analyze this (...) issue in relation to sexual assault, where the suggestion that corroborating evidence may remedy any memory defects is less likely to be helpful. We also consider the clinical ethical question about a physician's obligation to discuss potential legal consequences of memory dampening treatment. We conclude that this latter question reflects a general problem related to novel medical treatments where the broader socio-legal consequences may be poorly understood, and suggest that issues of this sort could usefully be addressed through the promulgation of practice guidelines. (shrink)

In their recent paper Bi-facial truth: a case for generalized truth values Zaitsev and Shramko [7] distinguish between an ontological and an epistemic interpretation of classical truth values. By taking the Cartesian product of the two disjoint sets of values thus obtained, they arrive at four generalized truth values and consider two “semi-classical negations” on them. The resulting semantics is used to define three novel logics which are closely related to Belnap’s well-known four valued logic. A syntactic characterization of these (...) logics is left for further work. In this paper, based on our previous work on a functionally complete extension of Belnap’s logic, we present a sound and complete tableau calculus for these logics. It crucially exploits the Cartesian nature of the four values, which is reflected in the fact that each proof consists of two tableaux. The bi-facial notion of truth of Z&S is thus augmented with a bi-facial notion of proof. We also provide translations between the logics for semi-classical negation and classical logic and show that an argument is valid in a logic for semi-classical negation just in case its translation is valid in classical logic. (shrink)

Abstract: The study aimed to determine the quality of services and its role in enhancing strategic flexibility, from the point of view of the internal beneficiary in non-governmental hospitals in Gaza Strip. The study relied on the descriptive and analytical approach, and the questionnaire was designed as a tool to collect data and consisted of (39) items, and the researchers used the comprehensive survey method, and the number of the study population was (536) individuals, where (434) questionnaires were retrieved, and (...) the recovery rate was (80.97%). The study revealed many results, the most important of which were: the existence of a high degree of approval by the study sample regarding the quality of services, as it was evident through the field of service quality obtaining a relative weight (79.90%), and the results of the study indicated that there is a moderate degree of approval by the members of the study sample. On the strategic flexibility, as it was evident by obtaining the area of strategic flexibility as a whole on a relative weight (60.44%). The results of the study revealed a statistically significant relationship between the quality of services and the strategic flexibility in non-governmental hospitals in Gaza Strip, with a correlation coefficient of 0.490). The results of the study also revealed a statistically significant effect of the quality of services on the strategic flexibility in non-governmental hospitals in Gaza Strip. The study reached many recommendations, the most important of which were: Establishing an effective system to receive patients' complaints in a manner that ensures rapid response and treatment, to achieve continuous communication between patients and the hospital administration, to notify patients of dealing with the complaints they submit, and to work to provide all medical and health specialties in hospitals in place. The study, by making use of medical delegations visiting Gaza Strip, involving them in therapeutic operations, bringing in doctors and specialists from abroad, updating the criteria for measuring services provided to patients on an ongoing basis, based on patients' suggestions and complaints, developing facilities in hospitals, as well as updating medical devices and equipment Used in hospitals periodically and the need to work on appointing young people and people of energy, for vacancies in the hospitals under study, and the need to seek the help of an administrative staff that is distinguished by scientific and practical qualifications, and to work on updating information systems, archiving and networks through which data and information are transferred between departments, and finding mechanisms to be done from During which the information stored can be used to enhance the decision-making process. (shrink)

Social epistemology is autonomous: When applied to the same evidential situations, the principles of social rationality and the principles of individual rationality sometimes recommend inconsistent beliefs. If we stipulate that reasoning rationally from justified beliefs to a true belief is normally sufficient for knowledge, the autonomy thesis implies that some knowledge is essentially social. When the principles of social and individual rationality are applied to justified evidence and recommend inconsistent beliefs and the belief endorsed by social rationality is true, then (...) that true belief would be an instance of social knowledge but not individual knowledge. (shrink)

In a series of articles, Dan Lopez De Sa and Elia Zardini argue that several theorists have recently employed instances of paradoxical reasoning, while failing to see its problematic nature because it does not immediately (or obviously) yield inconsistency. In contrast, Lopez De Sa and Zardini claim that resultant inconsistency is not a necessary condition for paradoxicality. It is our contention that, even given their broader understanding of paradox, their arguments fail to undermine the instances of reasoning they attack, either (...) because they fail to see everything that is at work in that reasoning, or because they misunderstand what it is that the reasoning aims to show. (shrink)

Most of the following are peer-reviewed publications undertaken during the 2000-2020 period, except for very few reports such as the VIASM SciMath Project papers [1,5]...

The National Center for Biomedical Ontology is now in its seventh year. The goals of this National Center for Biomedical Computing are to: create and maintain a repository of biomedical ontologies and terminologies; build tools and web services to enable the use of ontologies and terminologies in clinical and translational research; educate their trainees and the scientific community broadly about biomedical ontology and ontology-based technology and best practices; and collaborate with a variety of groups who develop and use ontologies and (...) terminologies in biomedicine. The centerpiece of the National Center for Biomedical Ontology is a web-based resource known as BioPortal. BioPortal makes available for research in computationally useful forms more than 270 of the world's biomedical ontologies and terminologies, and supports a wide range of web services that enable investigators to use the ontologies to annotate and retrieve data, to generate value sets and special-purpose lexicons, and to perform advanced analytics on a wide range of biomedical data. (shrink)

Wat betreft economische groei en ontwikkeling van de werkloosheid heeft de Nederlandse economie het sinds 1973 slechter gedaan dan andere OECD-landen. Op de vraag naar de oorzaken van die slechte prestatie zijn in het verleden uiteenlopende antwoorden gegeven door o.m. Bomhoff en Clavaux. Ook zijn er diverse wegen aangegeven om op te rukken naar een betere positie. In dit artikel presenteren de auteurs de resultaten van een internationale doorsnee-analyse om de verschillen in economisch succes tussen landen met behulp van een (...) eenvoudig neo-klassiek macro-economisch model te verklaren. Dit biedt de mogelijkheid om te traceren wat de rol van de exportgroei, de groei van de bevolking, de wisselkoers, de verhouding tussen de binnenlandse en de buitenlandse prijsontwikkeling en de investeringsquote voor verschillen in economische ontwikkeling is geweest. Vooral de uitvoer gecorrigeerd voor de omvang van de bevolking, de investeringsquote en de nominale wisselkoers komen als belangrijke verklarende variabelen naar voren. Op grond van hun analyse komen de auteurs tot de conclusie dat een beleid gericht op het verbeteren van de Nederlandse economische prestatie op lange termijn zich vooral zou moeten concentreren op het benutten van exportkansen en op een hoog investeringsniveau ter bevordering van technologische vernieuwing en daarmee verbetering van de concurrentiepositie. Daarbij moet worden voorkomen dat revaluatie van de gulden het exporteffect teniet doet. (shrink)

The notion of Simulative Reasoning in the study of propositional attitudes within Artificial Intelligence (AI) is strongly related to the Simulation Theory of mental ascription in Philosophy. Roughly speaking, when an AI system engages in Simulative Reasoning about a target agent, it reasons with that agent’s beliefs as temporary hypotheses of its own, thereby coming to conclusions about what the agent might conclude or might have concluded. The contrast is with non-simulative meta-reasoning, where the AI system reasons within a detailed (...) theory about the agent’s (conjectured) reasoning acts. The motive within AI for preferring Simulative Reasoning is that it is more convenient and efficient, because of a simplification of the representations and reasoning processes. The chapter discusses this advantage in detail. It also sketches the use of Simulative Reasoning in an AI natural language processing system, ATT-Meta, that is currently being implemented. This system is directed at the understanding of propositional attitude reports. In ATT-Meta, Simulative Reasoning is yoked to a somewhat independent set of ideas about how attitude reports should be treated. Central here are the claims that (a) speakers often employ commonsense (and largely metaphorical) models of mind in describing agents’ attitudes, (b) the listener accordingly needs often to reason within the terms of such models, rather than on the basis of any objectively justifiable characterization of the mind, and (c) the commonsense models filter the suggestions that Simulative Reasoning comes up with concerning target agents’ reasoning conclusions. There is a yet tighter connection between the commonsense models and the Simulative Reasoning. It turns out that Simulative Reasoning can be rationally reconstructed in terms of a more general type of reasoning about the possibly-counterfactual “world” that the target agent believes in, together with an assumption that that agent has a faithful representation of the world. In the ATT-Meta approach, the reasoner adopts that assumption when it views the target agent through a particular commonsense model (called IDEAS-AS-MODELS). (shrink)

Aristotle regarded highly the concept of friendship. For him, friendship—being one of the virtues just like truth, justice, courage, etc.—is something that affects not just human behavior but even the state’s as well . However, the English language has set a limit to its use and thus diminished its meaning. While the Greek for friendship, which is φιλια can be translated as love, when using the English language one cannot say that as A and B are friends, it must be (...) that A and B are lovers. But for the Greeks, A and B are friends, if and only if, A and B are lovers. In fact, φιλια is where half of the word philosophy comes from. Why is it that even when tracing the etymology of philosophy, one uses “love of wisdom” instead of “friend of wisdom?” This is not the case for Aristotle. Aside from just regarding highly friendship by considering it as affecting the individual and the collective’s behavior toward others, Aristotle goes further by claiming that friendship is a necessary ingredient, not just to have an orderly life and state, but in order to have a eudaimon life, i.e., a happy life. Thus, for Aristotle, without friendship, a person cannot be happy. (shrink)

This paper is a commentary on the target article by Lokendra Shastri & Venkat Ajjanagadde [S&A]: “From simple associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings using temporal synchrony” in same issue of the journal, pp.417–451. -/- It puts S&A's temporal-synchrony binding method in a broader context, comments on notions of pointing and other ways of associating information - in both computers and connectionist systems - and mentions types of reasoning that are a challenge to (...) S&A's system (amongst many other connectionist systems, recognizing that S&A's is much more capable as regards reasoning than most other contemporary systems). (shrink)

This paper is a commentary on the target article by Dana H. Ballard, “Cortical connections and parallel processing: Structure and function”, in the same issue of the journal, pp. 67–120. -/- I raise some issues about the connectionist or neural-network implementation of information and information processing. Issues include the sharing of information by different parts of a connectionist/neural network, the copying of complex information from one place to another in a network, the possibility of connection weights not being synaptic weights, (...) and the possibility of fast communication within single neurons as complex systems in their own right. (shrink)

The paper is a commentary on the target article by Christine A. Skarda & Walter J. Freeman, “How brains make chaos in order to make sense of the world”, in the same issue of the journal, pp.161–195. -/- I confine my comments largely to some philosophical claims that Skarda & Freeman make and to the relationship of their model to connectionism. Some of the comments hinge on what symbols are and how they might sit in neural systems.

This short paper defends Oliver Williamson’s (1993) claim that talk of trust is ‘redundant at best and can be misleading’ when trust is defined as a form of calculated risk (p. 463). And this paper accepts Williamson’s claim that ‘Calculative trust is a contradiction in terms’ (p. 463). But the present paper defends a conception of genuine, non-calculative trust that is compatible with calculative considerations and calculative antecedents. This conception of trust creates space for genuine (non-calculative) trust relationships in the (...) economic order—in which calculative considerations and antecedents (most often) play an essential role. (shrink)

In this paper I articulate and defend a new anti-theodicy challenge to Skeptical Theism. More specifically, I defend the Threshold Problem according to which there is a threshold to the kinds of evils that are in principle justifiable for God to permit, and certain instances of evil are beyond that threshold. I further argue that Skeptical Theism does not have the resources to adequately rebut the Threshold Problem. I argue for this claim by drawing a distinction between a weak and (...) strong version of Skeptical Theism, such that the strong version must be defended in order to rebut the Threshold Problem. However, the skeptical theist’s appeal to our limited cognitive faculties only supports the weak version. (shrink)

The present paper aims to validate our research on human–humanoid interaction (HHI) using the minimalist humanoid robot Telenoid. We conducted the human–robot interaction test with 142 young people who had no prior interaction experience with this robot. The main goal is the analysis of the two social dimensions (‘‘Perception’’ and ‘‘Believability’’) useful for increasing the natural behaviour between users and Telenoid.Weadministered our custom questionnaire to human subjects in association with a well defined experimental setting (‘‘ordinary and goal-guided task’’). A thorough (...) analysis of the questionnaires has been carried out and reliability and internal consistency in correlation between the multiple items has been calculated. Our experimental results show that the perceptual behaviour and believability, as implicit social competences, could improve the meaningfulness and the natural-like sense of human–humanoid interaction in everyday life task-driven activities. Telenoid is perceived as an autonomous cooperative agent for a shared environment by human beings. (shrink)

How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible solution would (...) be to formulate a logic of the irrational, which offers a model for reasoning permitting to support contradictions as well as to produce knowledge from such situations. An intuition underlying the foundation of such a logic consists of the da Costa's paraconsistent logics presenting however, a different deduction theory and a whole distinct semantics, called here "the semantics of possible translations". The present proposing, following our argumentation, intends to enlight all this question, by a whole satisfactory logical point of view, being practically applicable and philosophically acceptable.Como é possível que a partir da negação do racional se possa obter conhecimento adicional? Esse problema, além de seu interesse intrínseco, adquire uma relevância adicional quando o encontramos na representação do conhecimento em bases de dados e raciocínio automático, por exemplo. Nesse caso, diversas tentativas de tratamento têm sido propostas, como as lógicas não-monotônicas, as lógicas que tentam formalizar a ideia do raciocínio por falha . Tais tentativas de solução, porém, são falhas e incompletas; proponho que uma solução possível seria formular uma lógica do irracional, que oferecesse um modelo para o raciocínio permitindo não só suportar contradições, como conseguir obter conhecimento, a partir de tais situações. A intuição subjacente à formulação de tal lógica são as lógicas paraconsistentes de da Costa, mas com uma teoria da dedução diferente e uma semântica completamente distinta . Tal proposta, como pretendo argumentar, fornece um enfoque para a questão que é ao mesmo tempo completamente satisfatório, aplicável do ponto de vista prático e aceitável do ponto de vista filosófico. (shrink)

In this paper I suggest ways in which vision theory and psychology of perception may illuminate our understanding of beauty. I identify beauty as a phenomenon which is (i) ineffable, (ii) subjectively universal (intersubjective), and (iii) manifested in objects as formal structure. I present a model of perception by which I can identify a representation whose underlying principles would explain these features of beauty. The fact that these principles underlie the representation rather than constitute the content of representation, provides an (...) explanation for the ineffability and subjective universality of the perception of beauty in the form of objects. In part one, I set out two models of perception conducive to this approach. In part two, I suggest how such theories can offer a way of explaining and understanding the experience of beauty. (shrink)

POLICE ETHICS – Abstract Mark Lauchs -/- Police are an essential part of the justice system. They are the frontline actors in keeping the peace, social stability and cohesion. Thus good governance relies on honest policing. However, there will always be at least a small group of corrupt police officers, even though Australians are culturally averse to corruption (Khatri, Tsang, & Begley, 2006). There have been many cases where the allegations of police corruption have reached to the highest levels of (...) a state police force (Blanch, 1982) and, in the case of the Fitzgerald Inquiry (Fitzgerald, 1989), ended in a commissioner being convicted of corruption. -/- Any public official who places their own interests before those of the public have corrupted a system in which they are supposed to act as agents of the public, will undermine the good governance of a society (Lauchs, 2007). Police officers attract offers of corruption because of their ability to enforce or ignore the law. Police who are unethical or in financial stress are vulnerable to offers of illicit payments. Longstanding arrangements of corruption within a police branch can lead to a corruption network between police and criminals. Organised police corruption constitutes “social behaviour, conducted in groups within organisations, that is powerful enough to override the officer’s oath of office, personal conscience, departmental regulations and criminal laws.” (Punch, 2000) it is an even greater threat to the community because the damage done has more impact than the sum of the individual acts of corruption. This chapter will discuss the types of police corruption and focus on the organisation as the source of core police culture. -/- . (shrink)

Simone de Beauvoir and Jean-Paul Sartre struggled for the whole of their philosophical careers against one of modern Western philosophy's most pervasive concepts, the Cartesian notion of self. A notion of self is always a complex of ideas; in the case of Beauvoir and Sartre it includes the ideas of embodiment, temporality, the Other, and intersubjectivity. This essay will show the considerable part that gender, especially Beauvoir's position as a woman in twentieth-century France, played in the development, presentation and reception (...) of the couple's alternative formulation. (shrink)

We will explicate Cantor’s principle of set existence using the Gödelian intensional notion of absolute provability and John Burgess’ plural logical concept of set formation. From this Cantorian Comprehension principle we will derive a conditional result about the question whether there are any absolutely unprovable mathematical truths. Finally, we will discuss the philosophical significance of the conditional result.

Arnold Sommerfeld introduced the fine-structure constant that determines the strength of the electromagnetic interaction. Following Sommerfeld, Wolfgang Pauli left several clues to calculating the fine-structure constant with his research on Johannes Kepler's view of nature and Pythagorean geometry. The Laplace limit of Kepler's equation in classical mechanics, the Bohr-Sommerfeld model of the hydrogen atom and Julian Schwinger's research enable a calculation of the electron magnetic moment anomaly. Considerations of fundamental lengths such as the charge radius of the proton and mass (...) ratios suggest some further foundational interpretations of quantum electrodynamics. (shrink)

Amongst the anonymous critics of Locke's "Essay concerning Human Understanding" was a writer of very considerable contemporary eminence, Thomas Burnet. Burnet's criticism is contained in "Remarks upon an Essay Concerning Humane Understanding" and in two subsequent sets of Remarks. This monograph surveys the clash between Locke and Burnet on morality, certainty in revealed religion, and the immortality of the soul.

Most explanations are either about events (why things happen), or about properties (why objects have the enduring characteristics that they do). Explanations of events have been studied extensively in philosophy and psychology, whereas the explanations of properties have received little or no attention in the literature. The present study is an exploration of the ways in which we explain various types of properties. Ten participants provided explanations of 45 properties by completing sentences of the form: “Xs have p because…” where (...) p is a property of the concept X. When coded into three traditional kinds of explanation (i.e. causal, purposive, categorical), nearly half of the explanations did not fit into any of these categories and were classified as “other”. Different patterns of preference for explanations emerged across the various property types for each domain. A qualitative analysis of the other kind revealed that the most frequent form of explanation involved another property of the object, as in ‘Xs have property p because they have property q”. Explanations of properties showed a homeostatic character. Simply relating two properties of a concept seems sufficient as an explanation of a property. (shrink)

We study active set methods for optimization problems in Block Angular Form (BAF). We begin by reviewing some standard basis factorizations, including Saunders' orthogonal factorization and updates for the simplex method that do not impose any restriction on the pivot sequence and maintain the basis factorization structured in BAF throughout the algorithm. We then suggest orthogonal factorization and updating procedures that allow coarse grain parallelization, pivot updates local to the affected blocks, and independent block reinversion. A simple parallel environment appropriate (...) to the description and complexity analysis of test procedures is defined in Section 5. The factorization and updating procedures are presented in Sections 6 and 7. Our update procedure outperforms conventional Updating procedures even in a purely sequential environment. (shrink)

The study aimed to identify the level of creativity among NGOs Organizations in Palestine. The study used the descriptive analytical approach. A structured questionnaire was used to collect data that contribute to achieving the objectives of the study. The study population consists of workers in civil organizations, and a random sample was used to collect data, as 222 applicable questionnaires were retrieved. The results of the study showed that the level of creativity was high with a relative weight of (78.07%). (...) The relative weight of the flexibility domain was (79.03%) in second rank, the relative weight of the fluency domain was (78.49%) in third rank, and the relative weight of the problem solving domain was (78.38%) in fourth rank. The relative weight of the field of organizational climate was (77.89%) in the fifth rank, the relative weight of the field of risk was (78.07%) in the sixth rank. The study presented a set of recommendations, the most important of which are: the need to build clear foundations to motivate and encourage workers in organizations, and to give the management of institutions full freedom for workers to make decisions. (shrink)

David Lewis objected to theories that posit necessary connections between distinct entities and to theories that involve a magical grasping of their primitives. In On the Plurality of Worlds, Lewis objected to nondescript ersatzism on these grounds. The literature contains several reconstructions of Lewis’ critique of nondescript ersatzism but none of these interpretations adequately address his main argument because they fail to see that Lewis’ critique is based on broader methodological considerations. I argue that a closer look at his methodology (...) reveals the broader objection he presented against nondescript ersatzism. This objection, I further argue, remains a challenge for the ersatzer who posits structure-less entities as possible worlds. (shrink)

The purpose of this paper is to introduce and study the characteristic function of a neutrosophic set. After given the fundamental definitions of neutrosophic set operations generated by the characteristic function of a neutrosophic set ( Ng for short), we obtain several properties, and discussed the relationship between neutrosophic sets generated by Ng and others. Finally, we introduce the neutrosophic topological spaces generated by Ng . Possible application to GIS topology rules are touched upon.

In this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along the way.